Universes for Race Safety
نویسندگان
چکیده
Race conditions occur when two incorrectly synchronised threads simultaneously access the same object. Static type systems have been suggested to prevent them. Typically, they use annotations to determine the relationship between an object and its “guard” (another object), and to guarantee that the guard has been locked before the object is accessed. The object-guard relationship thus forms a tree similar to an ownership type hierarchy. Universe types are a simple form of ownership types. We explore the use of universe types for static identification of race conditions. We use a small, Java-like language with universe types and concurrency primitives. We give a type system that enforces synchronisation for all object accesses, and prove that race conditions cannot occur during execution of a type correct program. We support references to objects whose ownership domain is unknown. Unlike previous work, we do so without compromising the synchronisation strategy used where the ownership domain of such objects is fully known. We develop a novel technique for dealing with non-final (i.e. mutable) paths to objects of unknown ownership domain using effects.
منابع مشابه
Multi-granulation fuzzy probabilistic rough sets and their corresponding three-way decisions over two universes
This article introduces a general framework of multi-granulation fuzzy probabilistic roughsets (MG-FPRSs) models in multi-granulation fuzzy probabilistic approximation space over twouniverses. Four types of MG-FPRSs are established, by the four different conditional probabilitiesof fuzzy event. For different constraints on parameters, we obtain four kinds of each type MG-FPRSs...
متن کاملROUGH SET OVER DUAL-UNIVERSES IN FUZZY APPROXIMATION SPACE
To tackle the problem with inexact, uncertainty and vague knowl- edge, constructive method is utilized to formulate lower and upper approx- imation sets. Rough set model over dual-universes in fuzzy approximation space is constructed. In this paper, we introduce the concept of rough set over dual-universes in fuzzy approximation space by means of cut set. Then, we discuss properties of rough se...
متن کاملTraffic Safety and Vehicle Choice: Quantifying the Effects of the ‘arms Race’ on American Roads
The increasing share of light trucks in the USA has been characterized as an ‘arms race’ where individual purchases of light trucks for better self-protection nevertheless worsen traffic safety for society. This paper investigates the interrelation between traffic safety and vehicle choice by quantifying the effects of the arms race on vehicle demand, producer performance, and traffic safety. T...
متن کاملThe Mirror Universes
In this paper we investigate the structure of the Mirror Universes. The two universes are coupled with transformation t → −t. It is shown that for Planck scale i.e. for t ∼= TPlanck = ( h̄G c )1/2 the oscillations of temperature of the universes are observed. For the Mirror Universes the temperature fields are shifted in phase.
متن کاملDilaton gravity black holes with regular interior
In a one parameter family of dilaton gravity theories which allow the coupling of the dilaton to gravity and to a U(1) gauge field to differ, we have found the existence of everywhere regular spacetimes describing black holes hiding expanding universes inside their horizon.
متن کامل